A Nonmonotonic Typed Multilevel Logic for Multilevel Secure Database/Knowledge-Based Management Systems
نویسنده
چکیده
This paper describes a logic we call Nonmonotonic Typed Multilevel Logic (NTML) for multilevel database applications. It also describes various approaches to viewing multilevel databases through NTML and discusses techniques for query evaluation and integrity checking.
منابع مشابه
A Nonmonotonic Typed Multilevel Logic for Multilevel Secure Data / Knowledge Base Management Systems - I
The study of databases through formal logic has not only enabled efficient proof procedures to be developed for query evaluation and integrity checking, but it has also resulted in the development of more intelligent and powerful database management systems. Despite all these advances, a logic for reasoning in a multilevel environment or a logic programming system for multilevel environments do...
متن کاملSecurity Constraint Processing in a Multilevel Secure Distributed Database Management System
In a multilevel secure distributed database management system, users cleared at different security levels access and share a distributed database consisting of data at different sensitivity levels. An approach to assigning sensitivity levels, also called security levels, to data is one which utilizes constraints or classification rules. Security constraints provide an effective classification p...
متن کاملTowards the Design and Implementation of a Multilevel Secure Deductive Database Management System
In this paper we describe a preliminary design and implementation of a multilevel secure deductive database management system (MLSIDEDBMS). In particular, logic as a dara model for multilevel databases, reasoning across security levels, architectural issues for an MLSIDEDBMS, and a prototype implementation are discussed.
متن کاملPerformance Evaluation of Secure Concurrency Control Algorithm for Multilevel Secure Distributed Database Systems
Majority of the research in multilevel secure database management systems (MLS/DBMS) focuses primarily on centralized database systems. However, with the demand for higher performance and higher availability, database systems have moved from centralized to distributed architectures, and the research in multilevel secure distributed database management systems (MLS/DDBMS) is gaining more and mor...
متن کاملSecurity issues for federated database systems
This paper describes security issues for federated database management systems set up for managing distributed, heterogeneous and autonomous multilevel databases. It builds on our previous work in multilevel secure distributed database management systems and on the results of others’ work in federated database systems. In particular, we define a multilevel secure federated database system and d...
متن کامل